Math'φsics

Menu
  • Acceuil
  • Maths
  • Physique
    • Maths
    • Physique
  • Fonction symétrique

    Formulaire de report


    Définition

    Une fonction \(f\) est symétrique si : $$f(x,y)=f(y,x)$$

    Fonction multilinéaire symétrique

    Définition :
    On dit que \(f\) est une fonction \(k\)-linéaire symétrique si pour toute permutation \(\sigma\) de \(\{1,\dots,k\}\), on a : $$\forall x_1,\dots,x_k\in E,\quad f(x_1,\dots,x_n)=f(x_{\sigma(1)},\dots,x_{\sigma(n)})$$


    Caractérisation

    La forme bilinéaire \(\sigma\) est symétrique s'il existe une base de \(E\) dans laquelle la matrice \(A\) de \(\sigma\) est symétrique $$A=A^T$$
    (Matrice symétrique)

    Propriétés

    Le caractère de symétrie ou d'antisymétrie est indépendant de la base
    On suppose que la forme bilinéaire \(\sigma:E\times E\to{\Bbb K}\) de dimension finie telle que \(\sigma\) possède une matrice symétrique (resp. Antisymétrique)
    Montrer que pour toute base, \(\sigma\) possède le même type de matrice

    Formule de changement de base
    Soit \(A\) la matrice de \(\sigma\) dans la base \(\{e_i\}^n_{i=1}\) et \(b\) celle dans la base \(\{v_i\}^n_{i=1}\)
    Alors il existe une matrice de passage \(P\) de \(\{e_i\}^n_{i=1}\) à \(\{v_i\}^n_{i=1}\) telle que $$B=P^TAP$$

    Si \(A\) est symétrique, alors \(A^T=A\) et donc : $$\begin{align} B^T&=(P^TAP)^T\\ &=P^TA^T(P^T)^T\\ &=P^TAP\\ &=B\end{align}$$ donc \(B\) est également symétrique
    Idem pour \(A\) antisymétrique



  • Rétroliens :
    • Base orthogonale
    • Fonction
    • Forme bilinéaire symétrique
    • Orthogonalité - Vecteurs orthogonaux
    • Produit scalaire
    • Théorème de Schwarz